katalozi baze podataka digitalne zbirke usluge kontakt
Podaci iz CDS/ISIS-a prije konverzije
Ovaj katalog ne obnavlja se od 2008. godine.

Nova verzija kataloga, s ažurnim podacima o dostupnosti primjeraka , nalazi se na adresi http://koha.ffzg.hr.

Rezultati pretraživanja

Broj rezultata: 1

1
ISBN:0-201-17237-2
Naslov:Formal development of programs and proofs / edited by Edsger W. Dijkstra
Impresum:Reading, Mass. : Addison-Wesley Publishing Co. , 1990
Materijalni opis:XIV, 242 str. ; 24 cm
Jezik:engleski
Ključne riječi:
Ostali autori / urednici:Dijkstra, Edsger
Signatura:K 115
Inventarni broj:12687
Vrsta građe:knjiga
Knjižnica:Knjižnica Odsjeka za filozofiju, http://www.knjiznice.ffzg.hr/filozofija
MFN:2156
1

Upit: PersonalName_swish=(Dijkstra Edsger )

login